29. Bibliography

29.1. via Laurent Cervoni

sémantique pour le ML https:\\arxiv.org\\pdf\\2202.09868v1.pdf 2022
Bâtment https:\\doi.org\\10.1016\\j.autcon.2021.103756 accessible si paywall ou ici logic representation for BIM building offsite construction.pdf
(psy et démonstrateur de théories)
- https://www.sciencedirect.com/science/article/pii/S0732118X20302130 accessible si paywall ou ici using logic programming for theory representation and scientific inference (2021).pdf
- https://jeanchristopherohner.github.io/theory-toolbox-2 https:\\jeanchristopherohner.github.io\\theory-toolbox-2\\#writtenDoc cf discussion sur "Advantages of Logic Programming"
explicabilité en IA Prolog-based agnostic explanation module for structured pattern classification (2021)
(modélisation empreinte carbone) Green Application Placement in the Cloud-IoT Continuum( 2021)
Résolution des puzzles de Bongard (1967) en Prolog et en DeepLearning :
- Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems - 2021
- https://k10v.github.io/2018/02/25/Solving-Bongard-problems-with-deep-learning/ http://www.foundalis.com/res/diss_research.html
  - http://www.foundalis.com/soc/why_no_more_Bongard.html
  - Bongard Problems - Critique of RF4 : The RF4 approach to input representation, and why it should be avoided in cognitive science.

29.2. Doc générale

(Click on triangle to see more)

DOCUMENTATION

Marseille
documentation_PrologIV-manuel-pdfA.pdf install KitP4.zip

download installation : swipl-w64-723.exe
doc complete
LANCEMENT SWI_PROLOG exemples KM_PL lancer avec main main.pl

prolog dans FranzLisp Allegro ?
DOCS\PROLOG IMPLEMENTATIONS PRL-RR-36.pdf
LPA prolog environnement complet

https://news.ycombinator.com/item?id=20792370 https:\\www.metalevel.at\\ site intéressant

Answer_set_programming DPLL_algorithm Boolean satisfiability problem SAT solvers CDCL solvers (Conflict-driven clause learning) CDCL provides less state space search in comparison to DPLL. parallel SAT-solving

applications-of-prolog - Attila Czenki, 2009
Artificial Intelligence Through Prolog - Neil C Rowe - 1988.pdf
DissertationThesis-TheAlephSystemMadeEasy-ProvisoryVersion.pdf
HDR Talk Olivia Caramello -2016
iicep.1988.115.pdf
master_diogo_hortencio_farinha.pdf Automatic Generation of Descriptions for Prolog Programs Prolog Programs
Programming languages for Knowledge-Based Systems - 1987 - NBS
Pau - a software maintenance system in prolog - 1988
SWI-Prolog and the Web - 2003 - TPLP-plweb.pdf SWI prolog and the web

30. FORMAL DATABASE

This database is a trial to have a strong formal base of knowledge
It shoudl be exploited by generating (automatically) prolog declarations.
It is aimed at the automatic construction of opint of view (POV) on the topic.
This is a draft/trial

30.1. CONCEPTS

30.1.1. CONCEPTS

Name	invented by	Contributors	date invented	short_d		long_d	references
Logic			-350	Logic is the study of correct reasoning or good arguments.	https:\\en.wikipedia.org\\wiki\\List_of_logicians	the science of deductively valid inferences or of logical truths. In this sense, it is equivalent to formal logic and constitutes a formal science investigating how conclusions follow from premises in a topic-neutral way or which propositions are true only in virtue of the logical vocabulary they contain. When used as a countable noun, the term "a logic" refers to a logical formal system.	https:\\en.wikipedia.org\\wiki\\Logic
Clauses
Logic Programming	Sous-sujet 1	many	Sous-sujet 3	Sous-sujet 4
Warren Abstract Machine	Warren		1983				https:\\en.wikipedia.org\\wiki\\Warren_Abstract_Machine

The main difficulty in defining concepts is the scope/width of the concepts :

they may refer to previous concepts

30.2. TOOLS

30.2.1. TOOLS

Tool_name	base concepts	invented by	derived from	Year	short_d	middle_d	references	evolutions
Prolog 0		Kowalski	? PLANNER	1972	Sous-sujet 3	Sous-sujet 4	Sous-sujet 6
Prolog 1	base on Robert Kowalski's procedural interpretation of Horn clauses	Colmerauer Roussel	?	1972
Prolog 2		Colmerauer	Prolog 1
Prolog 3		Colmerauer	Prolog 3
Prolog 4		Colmerauer
CHIP		Dincbas	Prolog 2	1988				Constraints solving
Edinburgh Prolog		Warren	Prolog 2					syntax evolution
Quintus Prolog
Datalog		Minker Gallaire		1977
SWI prolog				1989
iso prolog
PLANNER		Carl Hewitt		1969			Planner_(programming_language) https:\\dspace.mit.edu\\handle\\1721.1\\6171
Deep Prob LOg
Elyxir
Dyna

NOTES A tool can be :

derived from a concept
complement another tool with a new concept
revisits another tool

31. PEOPLE WITH RICH SITES ABOUT PROLOG AND LOGIC PROGRAMMING

This list is intended as a memo, not as an exhaustive resource.

Paul Tarau